The specifications of E-Commerce Secure System using Z language
نویسندگان
چکیده
This paper uses formal methods to improve the security of the ecommerce system specifications and reduce the number of security threats to the minimum. The result shows the effectiveness of using formal methods for empowering ecommerce security. Z specification language is used to design the e-commerce system & specify security constraints. Besides, Z/EVES formal methods tool is considered for demonstrating our work.
منابع مشابه
Layered Specifications Framework for Analysis of Secure Protocols
We present a framework for specification and analysis of layered distributed algorithms, especially cryptographic protocols, with emphasis on security and fault-tolerance. Layered specifications is standard engineering practice, e.g. in networking (the OSI and TCP/IP protocol stacks). Layered specifications allow modular design of each layer, proving layer i meets specifications speci assuming ...
متن کاملRisk Analysis in E-commerce via Fuzzy Logic
This paper describes the development of a fuzzy decision support system (FDSS) for the assessment of risk in E-commerce (EC) development. A Web-based prototype FDSS is suggested to assist EC project managers in identifying potential EC risk factors and the corresponding project risks. A risk analysis model for EC development using a fuzzy set approach is proposed and incorporated into the FDSS....
متن کاملIdentifying and Ranking the Components and Dimensions of E-Commerce Using the Meta-Synthesis Approach
The present study seeks to identify and prioritize the components and dimensions of e-commerce and categorize them as a comprehensive model by using the meta-synthesis method. In this research, total of 58 articles in the field of E-commerce was identified and examined in the first step. Latin articles were in the period of 1996 to 2017 and Persian articles were related to the period of 2001 to...
متن کاملImproving e-payment security using Elliptic Curve Cryptosystem
The use of e-commerce has been associated with a lot of skepticism and apprehension due to some crimes associated with e-commerce and specifically to payment systems. The secure socket layer (SSL) protocol is trusted in this regard to secure transactions for sensitive applications like e-commerce. Unfortunately, the use of SSL protocol causes slow response time on the server which is a major ca...
متن کاملThe Presentation of an Ideal Safe SMS based model in mobile Electronic commerce using Encryption hybrid algorithms AES and ECC
Mobile commerce is whatever electronic transfer or transaction via a mobile modem through a mobile net in which the true value or advance payment is done for goods, services or information. A mobile payment system should be beneficial for all related persons. For a payment system to be a Successful system, End-user, seller, exporter and operators should see a additional value in it. End-user ...
متن کامل